perm filename TEST.D[1,JRA] blob sn#027875 filedate 1973-03-06 generic text, type T, neo UTF8
00100	INF_OP: *,o,∪,∩,-;
00200	PRE_OP:G,K,e,f,↑,g,h,m;
00300	INF_PRED:↔,⊂,ε,=;
00350	PRE_PRED:s;
00400	EQUALITY:=;
00500	VAR: x,y,z,u,v,X,Y,Z,U,V;
00600	a1:x*(y*z)=(x*y)*z;
00700	a2:x=y ≡x*z =x*y;
00800	a3:x=y≡z*x=z*y;
00900	a6: x*e=x;
01000	a7:e*x=x;
01100	a8:x*↑(x)=e;
01200	a9:↑(x)*x =e;
01300	a10:↑(↑(x))=e;
01400	;